#ifndef GAS_STATION_H
#define GAS_STATION_H

#include "systemc.h"
#include "string"
using namespace sc_core;
using namespace std;

class gas_station : public sc_module
{
public:
    uint fills;
    sc_semaphore pump;
    sc_event e_change;

    // Constructor declaration
    gas_station(sc_module_name name);

    // Process declarations
    void customer1_thread(void);
    void customer2_thread(void);
    void customer3_thread(void);
    void monitor_method(void);

    // Helper declarations
    void customer(string who);
    void note(string who, string message);
};

#endif // CAR_H